Feeds to Scour
SubscribedAll
Scoured 19497 posts in 189.8 ms
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
📋Document Grammar
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Building a Synthesizer
notes.billmill.org·1d
🎛️Audio Synthesis
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·7h
🏗️Compiler Archaeology
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·7h
✅CDDL Validation
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·12h
📋Document Grammar
Compile and Run Your First Program
emojicode.org·19h·
Discuss: Hacker News
🔗Concatenative Programming
Synthesizing scientific literature with retrieval-augmented language models
nature.com·22h
🔍Information Retrieval
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·10h
⚙️Parser Generators
Building a Simple “Chat with Your Documents” GenAI App (End-to-End)
dev.to·2h·
Discuss: DEV
🤖Archive Automation
A Guide to Large Language Models in Modeling and Simulation: From Core Techniques to Critical Challenges
arxiv.org·1d
📐Binary Grammars
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Type Variance
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
QT4 grammar explorer
so.nwalsh.com·2d
📝Parsing Grammars
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·16h
🤝Consensus Protocols
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
stdlib v7.2
erlang.org·19h·
Discuss: Hacker News
🦀Rusty Databases
Text classification with Python 3.14's zstd module • Max Halford
maxhalford.github.io·1d·
Discuss: Lobsters, Hacker News
📝Text Compression

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help